We start with a table that describes for each variable of this process, what type it has and what range of values have been observed. Possible types are integer, double and string. A range of values is provided only for variables of type integer or double. If a variable changes in value, the table gives the position of the two events that perform the first and last change in value. If no remarks are given, then the variable is properly initialized, it gets assigned a value by some action at least once and its values do not show a monotonic behavior (in case of numerical values).
(3L4)_progress.png.html)